- proof by extension
- доказательство путем обобщения
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
proof by extension
Смотреть что такое "proof by extension" в других словарях:
Proof-of-work system — Saltar a navegación, búsqueda Un Proof of work system (o Sistema POW ) es una medida para evitar los ataques de denegación de servicio y otros abusos como el spam en una red requiriendo algún trabajo por parte del cliente del servicio, que… … Wikipedia Español
Extension by definitions — In mathematical logic, more specifically in the proof theory of first order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in naive set theory to introduce a… … Wikipedia
Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… … Wikipedia
proof stress — the stress that will cause a specified small, permanent extension of a tensile test piece. Commonly the stress to produce 0.2% extension is quoted in N/mm2 for steel. This value approximates to the yield stress in materials not exhibiting a… … Mechanics glossary
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Degree of a field extension — In mathematics, more specifically field theory, the degree of a field extension is a rough measure of the size of the extension. The concept plays an important role in many parts of mathematics, including algebra and number theory indeed in any… … Wikipedia
Conservative extension — In mathematical logic, a logical theory T2 is a (proof theoretic) conservative extension of a theory T1 if the language of T2 extends the language of T1; every theorem of T1 is a theorem of T2; and any theorem of T2 which is in the language of T1 … Wikipedia
Hartogs' extension theorem — In mathematics, precisely in the theory of functions of several complex variables, Hartogs extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the… … Wikipedia
Jubilee Line Extension — The Jubilee line extension is the extension of the London Underground Jubilee line from Green Park to Stratford, through south and east London. An eastward extension of the Jubilee line was first proposed in the 1970s and a modified route was… … Wikipedia
Linear extension — In order theory, a branch of mathematics, a linear extension of a partial order is a linear order (or total order) that is compatible with the partial order. Contents 1 Definitions 2 Order extension principle 3 Related results … Wikipedia
Coalition-proof Nash equilibrium — The concept of coalition proof Nash equilibrium applies to certain noncooperative environments in which players can freely discuss their strategies but cannot make binding commitments [1]. It emphasizes the immunization to deviations that are… … Wikipedia
